Recalling Leo

Recalling a Witness

type ref t = id:N{witnessed (has_a_t id t)} let has (id:N) (H h _) = match h id with Used _ _ (Untyped _)→⊤ | _→⊥ abstract type uref = id:N{witnessed (has id)}type uref = id:N{witnessed (has id)} To enforce these invariants on state-manipulating operations, we define a preorder rel on heap, that constrains the heap evolution. It states that every Used identifier remains Used; every Typed refere...

Recalling communities of practice.

Recalling superior mesenteric artery syndrome.

BACKGROUND Superior mesenteric artery syndrome is uncommon and characterized by postprandial epigastric pain, nausea, vomiting, anorexia and weight loss. The syndrome is caused by compression of the third part of the duodenum in the angle between the aorta and the superior mesenteric artery. This review updates etiology, epidemiology, diagnosis, treatment and outcome of the superior mesenteric ...

Big LEO and Now Through LEO

The advent of low earth orbit (LEO) commercial communication satellites provides an opportunity to dramatically reduce Telemetry, Tracking and Control (TT&C) costs of launch vehicles, Unpiloted Aerial Vehicles (UAVs), Research Balloons and spacecraft by reducing or eliminating ground infrastructure. Personnel from the Goddard Space Flight Center’s Wallops Flight Facility (GSFC\WFF) have success...

Austrian Theorizing: Recalling the Foundations

It is a pleasure to reply to Caplan’s (1999) critique of Austrian economics. Unlike other such recent reactions1 this one shows evidence of great familiarity with the Austrian (praxeological) literature, and a deep interest in its analytical foundations. Thus, Caplan correctly identifies the works of Ludwig von Mises and Murray N. Rothbard as the core of what sets Austrian economics apart from ...